//: innerclasses/Contents.java
package innerclasses;
public interface Contents {
  int value();
} ///:~
